Verification of Dependable Architecture Based on Prototype Verification System
نویسندگان
چکیده
منابع مشابه
Architecture-based Verification of Dependable Embedded Systems
Quality assurance of dependable embedded systems is becoming increasingly difficult, as developers are required to build more complex systems on tighter budgets. As systems become more complex, system architects must make increasingly complex architecture design decisions. The process of making the architecture design decisions of an intended system is the very first, and the most significant, ...
متن کاملA Prototype Hand Geometry-based Verification System
Geometric measurements of the human hand have been used for identity authentication in a number of commercial systems. In this project we have developed a protoype hand geometry-based verification system and analyzed it’s performance. We have demonstrated the practical utility of this system by designing an application that uses hand geometry as opposed to password for restricting access to a w...
متن کاملMechanical Verification of Fault Tolerant Architecture in a Prototype Verification System
In this paper, we present an approach to embed our formal Generic Fault Tolerant Software Architecture (GFTSA) model in the PVS theorem prover to achieve automatic verification support for reasoning about fault tolerant system properties. In order to make the verification process more efficient and systematic, we also propose a template approach for the auto-generation of specifications and pro...
متن کاملPVS: A Prototype Verification System
5] John Rushby. Formal speciication and veriication of a fault-masking and transient-recovery model for digital ight-control systems. In Vytopil 10], pages 237{257. 6] John Rushby and Friedrich von Henke. Formal veriication of algorithms for critical systems. 8] Natarajan Shankar. Mechanical veriication of a generalized protocol for Byzantine fault-tolerant clock synchronization. In Vytopil 10]...
متن کاملModel-Based Verification: A Technology for Dependable System Upgrade
v Acknowledgements vii Executive Summary ix 1 Background and Introduction 1 1.1 Goals of Model-Based Verification Efforts 1 1.2 Structure and Content of the Report 2 2 Model-Based Verification 3 2.1 The Model-Based Verification Paradigm 3 2.2 Context and Related Work 6 2.3 Model-Based Verification in Software Upgrades 6 3 Technical Aspects of Model-Based Verification 9 3.1 Models 9 3.2 Formalis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advanced Materials Research
سال: 2013
ISSN: 1662-8985
DOI: 10.4028/www.scientific.net/amr.756-759.4188